SAPA newsletter
نویسندگان
چکیده
منابع مشابه
SAPA: Self-Aware Polymorphic Architecture
In this work, we introduce a Self-Aware Polymorphic Architecture (SAPA) design approach to support emerging contextaware applications and mitigate the programming challenges caused by the ever-increasing complexity and heterogeneity of high performance computing systems. Through the SAPA design, we examined the salient software-hardware features of adaptive computing systems that allow for (1) ...
متن کاملSAPA: A Multi-objective Metric Temporal Planner
Sapa is a domain-independent heuristic forward chaining planner that can handle durative actions, metric resource constraints, and deadline goals. It is designed to be capable of handling the multi-objective nature of metric temporal planning. Our technical contributions include (i) planning-graph based methods for deriving heuristics that are sensitive to both cost and makespan (ii) techniques...
متن کاملMoves Newsletter
Dear reader, This here is the third installment of the Fundamental Issues in Modelling, Verification and Evolution of Software (MoVES) newsletter. The goal of the newsletter is to highlight the work performed in the context of the project through the different workpackages. As with previous issues, this edition of the newsletter is divided in two parts, the first one focusing on the results ach...
متن کاملNewsletter 149
The negative relationship between stock market P/E ratios and government bond yields seems to have become conventional wisdom among practitioners. Both limited empirical evidence and a misleading suggestion that the model originated in the Fed are used to support the model's plausibility. This article argues that the Fed model is flawed from a theoretical standpoint and reports evidence from 20...
متن کاملMoves Newsletter
Dear Reader, this edition of the MoVES newsletter is dedicated to Workpackage 6, focused on verification methods and tools, and presents results obtained by the University of Liège on that topic. This issue of the newsletter describes three recent results that cover different research topics in the field of verification. The first result, presented on p. 2, introduces an original method for ana...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: South African Journal of Child Health
سال: 2019
ISSN: 1999-7671,1994-3032
DOI: 10.7196/sajch.2019.v13i3.01711